Domain specific language implementation via compile-time meta-programming
نویسندگان
چکیده
منابع مشابه
Compile-time meta-programming in Converge
Compile-time meta-programming allows programs to be constructed by the user at compile-time. Few modern languages are capable of compile-time meta-programming, and of those that do, many of the most powerful are statically typed functional languages. In this paper I present the dynamically typed, object orientated language Converge which allows compile-time meta-programming in the spirit of Tem...
متن کاملContrasting compile-time meta-programming in Metalua and Converge
Powerful, safe macro systems allow programs to be programatically constructed by the user at compile-time. Such systems have traditionally been largely confined to LISP-like languages and their successors. In this paper we describe and compare two modern, dynamically typed languages Converge and Metalua, which both have macro-like systems. We show how, in different ways, they build upon traditi...
متن کاملCompile-Time Cost Analysis for Parallel Programming
This paper focuses on the compile-time cost analysis of programs expressed in the BMF-style, which results in the selection of a cost-eeective parallel implementation on a given topology.
متن کاملA WAM Implementation for the Logic Meta Programming Language 'Log
A technique for compiling the meta-programming logic programming language 'Log (read quote log) is presented and the extensions to the standard Warren Abstract Machine (WAM) architecture necessary to support the execution of 'Log programs are described. 'Log is a logic programming language upgraded with a flexible naming scheme and a set of operators allowing each syntactic entity to be referre...
متن کاملLanguage Design for Meta-programming in the Software Composition Domain
How would a language look like that is specially designed for solving meta-programming problems in the software composition domain? We present requirements for and design of Rascal, a new language for solving meta-programming problems that fit the Extract-AnalyzeSYnthesize (EASY) paradigm.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2008
ISSN: 0164-0925,1558-4593
DOI: 10.1145/1391956.1391958